Semi-computable predicate
[计] 半可计算谓词
🧩 词语组成解析
semi
['semi]
n. 半独立式住宅;半挂车;
a. 可计算的
predicate
['predikit]
vt. 断言，断定;宣布，宣讲;使基于;
vi. 断言，断定;
n. 谓语;述语;
adj. 谓语的;述语的;
🗣️ 情景例句
This is she.
我就是。
I know he will answer your question.
我知道他会回答我的问题。
He agreed that a train did come into the station at the time on the paper and that it did stop, but only to take on mail, not passengers.
搬运工说，正如纸条所说，确有一趟火车在那个时刻到站，但它只停站装邮件，不载旅客。